//]]>
Unhighlight Highlight
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements by Geldsetzer, Lutz. Publication: . XLIV, 137 p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Epistemology versus Ontology by Dybjer, P. Publication: . XXVII, 385 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Treatise on Intuitionistic Type Theory by Granström, Johan Georg. Publication: . XIV, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Strict Finitism and the Logic of Mathematical Applications by Ye, Feng. Publication: . XII, 272 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Truth and Falsehood by Shramko, Yaroslav. Publication: . XIV, 250 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Games, Norms and Reasons by van Benthem, Johan. Publication: . XVI, 232 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundational Theories of Classical and Constructive Mathematics by Sommaruga, Giovanni. Publication: . XII, 316 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Mathematics, Philosophy, Vintage Enthusiasms by DeVidi, David. Publication: . XVIII, 486 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Proof, Computation and Agency by van Benthem, Johan. Publication: . XXIV, 372 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Philosophy of Mathematics in the Early Husserl by Centrone, Stefania. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Proofs of the Cantor-Bernstein Theorem by Hinkis, Arie. Publication: . XXIII, 429 p. 29 illus., 3 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Łukasiewicz calculus and MV-algebras by Mundici, D. Publication: . XVIII, 258 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Methods of Cut-Elimination by Leitsch, Alexander. Publication: . VI, 290 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dual Tableaux: Foundations, Methodology, Case Studies by Orlowska, Ewa. Publication: . XVI, 523 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Logic and its Proof-Theory by Braüner, Torben. Publication: . XIII, 231 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej. Publication: . XXIII, 514p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Non solo calcoli by Villani, Vinicio. Publication: . XII, 296 pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic: A Brief Course by Mundici, Daniele. Publication: . XI, 130 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logica: Metodo Breve by Mundici, Daniele. Publication: . XI, 126 pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Giuseppe Peano between Mathematics and Logic by Skof, Fulvia. Publication: . X, 190p. 8 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 Next >>
Languages: 
English |
العربية